检索结果

期刊

出版年

关键词

Please wait a minute...

选择:

导出引用
EndNote Ris BibTeX

显示/隐藏图片

Select

1. 基于事件的局部行为模型的合并

郭正虎陈中育张纪昌

计算机应用 2010, 30 (1): 266-269.

摘要（1198）

PDF （588KB）（908）

采用模态迁移系统描述系统行为，针对局部行为模型中存在的不确定行为，提出一种基于事件的局部行为模型合并方法。该方法首先定义局部行为模型之间的精化关系，利用精化关系产生合并规则，运用合并规则产生行为模型的极小共同精化模型或最小共同精化模型，从而消除局部行为模型中存在的不确定行为。最后通过一个示例对该方法的有效性作出说明。